Nuprl Definition : ma-ds
0,22
postcript
pdf
M
.ds(
x
) == 1of(
M
)(
x
)?Top
latex
clarification:
M
.ds(
x
) == fpf-cap(1of(
M
);IdDeq;
x
;Top)
latex
Definitions
f
(
x
)?
z
,
1of(
t
)
,
IdDeq
,
Top
FDL editor aliases
ma-ds
origin